Section: Partnerships and Cooperations

International Research Visitors

• Luca Padovani (Turin) "Deadlock and lock freedom in the linear pi-calculus".

• Jean-Bernard Stefani (Inria Grenoble), "Strong isolation in actor systems".

• Mauro Caporuscio (Milan): "Prime: A middleware support for fluid distributed systems".

• Fabrizio Montesi (Copenhagen): "Choreographic Programming".

• Marco Carbone (Copenhagen): "Behavioural types for adaptable service composition".

• Sandro Etalle (Eindhoven), "Signature-Less Network Intrusion Detection: from the research table to the production environments."

• Wolf Zimmermann (Halle, Germany), "Automatic Protocol Conformance Checking in Component-Based and Service-Oriented Systems."

• Lars Kotthoff (Cork, Ireland), "Towards an algorithm selection standard: data format and tools."

• Herbert Wiklicky (London), "Quantitative Aspects in Program Synthesis."

• Naoki Kobayashi (Tokyo), "Model checking higher-order programs".

• Benoit Valiron and Claudia Faggian (Paris), "Geometry of Synchronization"

• Marc Bagnol (Marseille), "On the Resolution Semiring"

• Irek Ulidowski (Leicester), on the topic of reversibility.